面向安全属性的软件组件可信依赖关系度量模型

随着软件的应用规模越来越大，软件系统一旦出现故障，很可能会造成人员伤亡或财产等重大损失，因此对软件可信性进行评估尤为重要.在安全攸关如航空航天等领域，作为可信关键属性之一的安全性影响着整个软件系统的可信评估.特别当一个组件受到安全攻击或缺陷出现时，可信性会下降，会影响到与它可信关联的组件可信性，从而影响到整个系统的可信性.遵循这一思路，设计了软件系统组件可信性发生改变后对其它组件可信性影响度量公式，进一步给出当一组件可信性发生变化，整个软件系统各组件可信性度量发生变化的度量模型.本文以某“航天电源管理设备”为例，证明了本文所建立的组件可信依赖关系度量模型的合理性和有效性.     

化学-电喷双模推进系统的研究现状及展望

传统的化学推进和电推进拥有不同的特点及适用范围。化学推进可以产生毫牛级至牛级推力，相比于电推进，推力大，推力范围宽；电推进比冲高达上千秒，最小可以产生微牛级推力。但两种模式单独执行任务有一定的局限性，难以完成较为复杂的航天任务。化学推进与电推进相结合的双模推进系统，同时拥有高比冲和较宽的推力范围，为航天器提供了更高的任务灵活性，其中单组元液体火箭发动机 离子液体电喷推力器双模推进系统近年来受到广泛关注。简述了单组元 电喷双模推进系统的工作原理和特点，重点总结了国内外关于双模推进的研究现状，并对目前面临的问题与挑战进行分析。     

Study of highly perturbed spacecraft formation dynamics via approximation

This paper explores methods for approximating and analyzing the dynamics of highly perturbed spacecraft formations with an emphasis on computationally efficient approaches. This facilitates on-board computation or rapid preliminary mission design analysis. Perturbed formation dynamics are often approximated as linear time-varying (LTV) systems, for which Floquet theory can be used to analyze the degree of system instability. Furthermore, the angular momentum of the relative orbital state can be computed with the approximate dynamics to provide additional insight. A general methodology is developed first and then applied to the problem of unstable formation dynamics in asteroid orbits. Here the dominant perturbative effects due to low-order gravitational harmonics and solar radiation pressure are modeled. Numerical simulations validate the approach and illustrate the approximation accuracy achieved.     

Fully distributed time-varying formation tracking control for multiple quadrotor vehicles via finite-time convergent extended state observer

This paper investigates a time-varying anti-disturbance formation problem for a group of quadrotor aircrafts with time-varying uncertainties and a directed interaction topology. A novel Finite-Time Convergent Extended State Observer (FTCESO) based fully-distributed formation control scheme is proposed to enhance the disturbance rejection and the formation tracking performances for networked quadrotors. By adopting the hierarchical control strategy, the multi-quadrotor system is separated into two subsystems: the outer-loop cooperative subsystem and the inner-loop attitude subsystem. In the outer-loop subsystem, with the estimation of disturbing forces and uncertain dynamics from FTCESOs, an adaptive consensus theory based cooperative controller is exploited to ensure the multiple quadrotors form and maintain a time-varying pattern relying only on the positions of the neighboring aircrafts. In the inner-loop subsystem, the desired attitude generated by the cooperative control law is stably tracked under a FTCESO-based attitude controller in a finite time. Based on a detailed algorithm to specify the cooperative control protocol, the feasibility condition to achieve the time-varying anti-disturbance formation tracking is derived and the rigorous analysis of the whole closed-loop multi-quadrotor system is given. Some numerical examples are conducted to intuitively demonstrate the effectiveness and the improvements of the proposed control framework.     

反推装置对翼身融合分布式推进系统气动性能影响数值模拟

为了研究新型反推装置对翼身融合分布式推进系统气动性能的影响,将机身简化为二维模型,利用数值模拟的手段来研究攻角、反推开度,以及风扇打开或关闭对飞行参数的影响,为翼身融合分布式推进系统的反推装置设计提供初步的意见和建议。结果显示:反推闭合和风扇打开之后该机型的升力系数和俯仰力矩系数都会有较大增加;随着反推开度的增加,升力系数和俯仰力矩系数也随之增加;来流攻角对翼身融合分布式推进系统的气动性能也有较大影响。      

椭圆轨道卫星对地全球覆盖电推进控制

针对椭圆轨道卫星近/远地点的星下点对全球或特定纬度区域的访问问题，提出一种连续小推力下的对地覆盖控制策略。首先，推导了自然摄动对卫星拱线变化的影响，并探讨了进行小推力覆盖控制的必要性。然后，针对燃料消耗的优化问题，将控制方程展开成含傅里叶级数的形式，用以获得便于星上计算的解析形式的次优解，同时探讨了截取阶数与优化程度的关系。在进行拱线控制的同时，通过合理设置约束，对椭圆轨道的近地点高度进行保护，确保卫星安全运行。仿真结果表明，提出的方法能够以适当的燃料消耗代价实现椭圆轨道的近/远地点的全球覆盖控制或特定纬度区域的反复推扫，且控制力在可接受的范围内。     

亚超剪切混合层燃油雾化特性试验研究

为了摸清亚超大梯度剪切混合层内直射式喷嘴的燃油雾化特性，设计了用于向亚超剪切混合流中进行燃油喷射的直射式喷嘴，建立了亚超剪切混合层中燃油雾化试验系统。利用粒子图像测速系统（PIV），对亚超大梯度混合层中油雾场进行测量。通过改变喷嘴流量、喷射角度和喷嘴数量研究不同参数对雾化特性的影响，并应用图像处理技术对亚超大梯度剪切混合层内的油雾场进行分析，总结归纳其雾化规律。试验结果显示：随着流量增大，穿透深度会随之增大，破碎后的颗粒分布峰值所对应的液滴直径会逐渐变小，雾化效果提升；相同流量条件下，喷嘴的角度改变对雾化效果有影响，顺喷和逆喷的雾化效果均好于垂直喷射；逆喷的喷射高度最高，随着流量的增长，燃料将会碰壁；顺喷条件下，随着角度的增加，穿透长度会有所增加；综合燃油轨迹边界，逆喷的效果相对较好。相同流量条件下，喷孔个数的改变对雾化效果和穿透深度的影响不大。     

High energy-density propulsion—reducing the risk to humans in planetary exploration

The potential benefits to humankind of space exploration are tremendous. Space is not only the final frontier but is also the next marketplace. The orbital space above Earth offers tremendous opportunities for both strategic assets and commercial development. The critical obstacle retarding the use of the space around the Earth is the lack of low cost access to orbit. Further out, the next giant leap for mankind will be the human exploration of Mars. Almost certainly within the next 30 years, a human crew will brave the isolation, the radiation, and the lack of gravity to walk on and explore the Red planet. Both of these missions will change the outlook and perspective of every human being on the planet. However, these missions are expensive and extremely difficult. Chemical propulsion has demonstrated an inability to achieve orbit cheaply and is a very high-risk option to accomplish the Mars mission. An alternative solution is to develop a high performance propulsion system. Nuclear propulsion has the potential to be such a system. The question will be whether humanity is willing to take on the challenge.     

求解含多个右端向量非对称线性方程组的自适应块拟最小残量IOM(q)算法

许多实际应用问题需要求解含多个右端向量的大型非对称线性方程组 ,通常是把原来方程组分成单独几个含一个右端向量的方程组 ,再用某种迭代法分别单个求解 ,而更加经济有效的方法是应用能同时产生几个迭代向量的块迭代法来直接求解。本文在 IOM(q)算法的基础上 ,提出一种求解此类方程组的块拟最小残量 IOM(q)算法 ,讨论了如何收缩掉已收敛的部分方程组以及如何从产生的块 Krylov序列中删除线性相关或几乎线性相关向量的自适应技术。数值试验表明 ,此新的自适应块算法比块 GMRES算法及其他相关算法具有更好的收敛行为、更少的计算量和 CPU计算时间 ,是求解此类方程组的一种更加经济有效的算法。     

区域极点及方差约束下的航天器拦截控制：静态输出反馈情形

本文提出并讨论了具有选通窗约束的航天器拦截控制问题，指出航天器拦截控制的稳暂态性能指标可表现为系统稳态状态方差及闭环区域极点的形式。然后，基于配置控制的思想，本文完整地给出了期望静态反馈控制器的存在条件及其解析表达式，并举例说明所提设计方法的直接性与有效性